A Robust Finite-Time Converse Theorem for Inductive Safety Certificates of Ordinary Differential Equations
نویسنده
چکیده
An important tool for proving safety of dynamical systems is the notion of a barrier certificate. In this paper we prove that every robustly safe ordinary differential equation has a barrier certificate. Moreover, we show a construction of such a barrier certificate based on a set of states that is reachable in finite time.
منابع مشابه
Stability analysis of impulsive fuzzy differential equations with finite delayed state
In this paper we introduce some stability criteria for impulsive fuzzy system of differential equations with finite delay in states. Firstly, a new comparison principle for fuzzy differential system compared to crisp ordinary differential equation, based on a notion of upper quasi-monotone nondecreasing, in N dimentional state space is presented. Furthermore, in order to analyze the stability o...
متن کاملReduction of Differential Equations by Lie Algebra of Symmetries
The paper is devoted to an application of Lie group theory to differential equations. The basic infinitesimal method for calculating symmetry group is presented, and used to determine general symmetry group of some differential equations. We include a number of important applications including integration of ordinary differential equations and finding some solutions of partial differential equa...
متن کاملNumerical method for singularly perturbed fourth order ordinary differential equations of convection-diffusion type
In this paper, we have proposed a numerical method for singularly perturbed fourth order ordinary differential equations of convection-diffusion type. The numerical method combines boundary value technique, asymptotic expansion approximation, shooting method and finite difference method. In order to get a numerical solution for the derivative of the solution, the given interval is divided in...
متن کاملFinite-time stabilization of satellite quaternion attitude
In this paper, a finite-time control scheme is presented for stabilization of the satellite chaotic attitude around its equilibrium point when its attitude is confused by a disturbed torque. Controllers and settling time of stabilizaton are obtained, based on the Lyapunov stability theorem and finite-time control scheme. This method is satisfied for any initial condition. Numerical simulations ...
متن کاملNew operators through measure of non-compactness
In this article, we use two concepts, measure of non-compactness and Meir-Keeler condensing operators. The measure of non-compactness has been applied for existence of solution nonlinear integral equations, ordinary differential equations and system of differential equations in the case of finite and infinite dimensions by some authors. Also Meir-Keeler condensing operators are shown in some pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1701.03948 شماره
صفحات -
تاریخ انتشار 2017